g:IMonoid, a, b, c:
.
(a
b)
(b c)
(E:({a..c
}
|g|).
(
a j < c. E(j)) = (( a j < b. E(j)) * ( b j < c. E(j))) 
|g|) | 13,42 |
g:IMonoid, a, b, c:.
b)
(b c)
(E:({a..c}|g|).
( a j < c. E(j)) = (( a j < b. E(j)) * ( b j < c. E(j))) |g|)
| Up | |
| Definitions of Statement | lb i < ub. E(i) |
| Definitions | lb i < ub. E(i) |
| Lemmas |